Executable Requirements: Oppotunities and Impediments Executable Requirements: Opportunities and Impediments
نویسنده
چکیده
In a top-down, language-based design methodology, requirements can be specified in an executable format, reducing the ambiguity typically encountered with written requirements, and serving as the starting point for the evolution of more detailed requirements and design specifications. As part of the Rapid Prototyping of Application Specific Signal Processors (RASSP) program, a VHDL executable requirement was constructed to capture the interface timing and functional requirements for an embedded processor intended to form images in real-time for a synthetic aperture radar. This paper includes a brief description of the application, then describes the implementation strategy and issues associated with the development of the VHDL executable requirement, emphasizing the importance of the VHDL test bench concept. Anticipated benefits of widespread utilization of VHDL executable requirements are discussed along with potential impediments to adoption. Areas for additional research and development are identified.
منابع مشابه
Analysis of disassembled executable codes by abstract interpretation
The aim of this paper is to dene the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements ...
متن کاملA Framework for Integrating Requirements-Based Design and Diagnosis
Two key impediments for the commercial success of model-based diagnosis (MBD) include (a) a failure to integrate diagnostics modeling within the requirements and design phase, and (b) a high degree of diagnostic ambiguity during run-time. This article addresses both of these impediments by providing a formal framework that integrates requirements-based design with MBD modeling. The proposed fra...
متن کاملRequirements Specification as Executable Software Design – A Behavior Perspective
Today’s application development requires agile project structures and active involvement of concerned stakeholders. Transforming of representations from requirements specification to executable design models hinders seamless roundtrip engineering and dynamic adaptation. Subject-oriented software processes allow fine-grained modeling and subsequent execution of mutually adjusted stakeholder beha...
متن کاملThe Requirements Abstraction in User Stories and Executable Acceptance Tests
Specifying requirements is a complex task because information can be represented at varying levels of abstraction. This paper looks at two types ofion. This paper looks at two types of requirements abstractions: user story and executable acceptance test. We present how user story and executable acceptance tests are integrated in our project planning tool called Agile Planner with Fit and we arg...
متن کاملImpediments to the Deployment of Knowledge Management Program in the Provincial Department of Education in Yazd
Impediments to the Deployment of Knowledge Management Program in the Provincial Department of Education in Yazd M. Zanjirchi, Ph.D. M. Hakkaaki A.R. Konjkaav Monfared F. Behniyaa To identify the impediments to the deployment of knowledge management program in the provincial department of education in Yazd, a questionnaire was completed by a carefully selected sample of 2...
متن کامل